ReqViz: a Tool to Visualize Requirements

نویسندگان

  • Alfredo Raúl Teyseyre
  • Marcelo Campo
چکیده

This paper presents a prototype tool to animate and visualize requirements called REQVIZ. In essence, this tool takes a Z specification as input and generates a visualization as output, through which, users can validate requirements. The prototype was developed based on architectural design driven by patterns. This process brings benefits that impact directly on understanding, reuse, evolution, analysis and documentation management of the system. This tool aims to help to achieve a more effective requirement validation using visualization techniques that reduce the communication gap between the customer and developer: the system is described in a way that the costumer can understand. The requirements are stated by the developer in a formal language, in particular Z, because formal specification languages enables us to denote them unambiguously. Also visualization techniques were developed using 3D graphics taking advantage of this kind of presentations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conflict Analysis and Negotiation Aids for Cost-Quality Requirements

The process of resolving conflicts among software quality requirements is complex and difficult because of incompatibilities among stakeholders’ interests and priorities, complex cost-quality requirements dependencies, and an exponentially increasing resolution option space for larger systems. This paper describes an exploratory knowledge-based tool, the Software Cost Option Strategy Tool (S-CO...

متن کامل

Requirements Management Using Positioning Requirements in Enterprise System Projects

Managing requirements in Enterprise System Projects should be easier using a more precise visualization tool as the current ones. Within Enterprise System projects, it is only possible for the decision makers to select the adequate requirements when they don’t only consider the balance but also the importance of the implied organizational changes as well as the depth of the Enterprise System cu...

متن کامل

Software Cost Option Strategy Tool (S-COST)

The process of resolving cost-requirements conflicts is difficult because of incompatibilities among stakeholders’ interests and priorities, complex costrequirements dependencies, and an exponentially increasing option space for larger systems. This paper describes an exploratory knowledge-based tool, the Software Cost Option Strategy Tool (S-COST), for assisting stakeholders to surface appropr...

متن کامل

A Framework For Mission Level Design

In this paper we present the idea of Mission Level Design (MLD) for complex systems. MLD can be thought of as a test of a system design on an abstract level. Therefore, the simulation of an overall system model is used to find problems in the early design phases and gives developers first results of system performance and characteristics. The overall system model is configured by missions, whic...

متن کامل

Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples

SQL designs result from methodologies such as UML or Entity-Relationship models, description logics, or relational normalization. Independently of the methodology, sample data is promoted by academia and industry to visualize and consolidate the designs produced. SQL table definitions are a standard-compliant encoding of their designers’ perception about the semantics of an application domain. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000